Koha online catalog › Results of search for 'su:"Automatic theorem proving"'

	1.	Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings by Wang, Farn. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1). Place hold
	2.	Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings by Hurd, Joe \| Melham, Tom. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HUR] (1). Place hold
	3.	Isabelle/HOL : a Proof Assistant for Higher-Order Logic by Paulson, Lawrence C \| Nipkow, Tobias \| Wenzel, Markus \| Paulson, Lawrence C. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1). Place hold
	4.	Efficient checking of polynomials and proofs and the hardness of approximation problems by Sudan, Madhu. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 SUD] (1). Place hold

Koha online